Xiong (Leo) Fan

Assistant Professor, Rutgers University

Curriculum Vitae (updated November, 2021)

Email: Rutgers-related: xiong.fan AT rutgers dot edu
Other: leofanxiong AT gmail dot com

Office: Hill Center 264A

I am an Assistant Professor in the Department of Computer Science at Rutgers University. I am interested in various aspects of cryptography and its intersections with formal verification and hardware acceleration.

Previously, I was a researcher at Algorand. Before that, I was a postdoctoral researcher at University of Maryland, hosted by Prof. Jonathan Katz and Prof. Xiaodi Wu. I obtained my Ph.D. at Cornell University advised by Prof. Elaine Shi.

I am looking for self-motivated students. If you are interested in my research, please reach out!

Teaching

Publications

  1. Hyena: Balancing Packing, Reuse, and Rotations for Encrypted Inference
    Sarabjeet Singh, Shreyas Singh, Sumanth Gudaparthi, Xiong Fan and Rajeev Balasubramonian.
    IEEE S&P 2024. [paper]

  2. Accelerating Post Quantum Cryptography with Memristor Crossbar Arrays
    Sarabjeet Singh, Xiong Fan, Ananth Krishna Prasad, Lin Jia, Anirban Nag, Rajeev Balasubramonian, Mahdi Nazm Bojnordi and Elaine Shi.
    IEEE Micro. [paper]

  3. A Core Calculus for Equational Proofs of Cryptographic Protocols.
    Joshua Gancher, Kristina Sojakova, Xiong Fan, Elaine Shi and Greg Morrisett.
    POPL 2023. [paper, code]

  4. Collusion-Resistant Functional Encryption for RAMs.
    with Prabhanjan Ananth, Kai-Min Chung and Luowen Qian.
    Asiacrypt 2022. [paper]

  5. EasyPQC: Verifying Post-Quantum Cryptography
    with Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu and Li Zhou.
    ACM CCS 2021. [paper, code]

  6. Puncturable Signatures and Applications in Proof-of-Stake Blockchain
    Xinyu Li, Jing Xu, Xiong Fan, Yuchen Wang and Zhenfeng Zhang.
    IEEE TIFS 2020. [paper]

  7. Multi-Input Laconic Function Evaluation
    with Bo Pang, Long Chen and Qiang Tang.
    ACISP 2020. [paper]

  8. Towards Attribute-Based Encryption for RAMs from LWE: Sub-linear Decryption, and More
    with Prabhanjan Ananth and Elaine Shi.
    Asiacrypt 2019. [paper]

  9. Proxy Re-Encryption and Re-Signatures from Lattices
    with Feng-Hao Liu.
    ACNS 2019. [paper]

  10. FE for Inner Products and Its Application to Decentralized ABE
    with Feng-Hao Liu and Zhedong Wang.
    PKC 2019. [paper]

  11. Symbolic Proofs for Lattice-Based Cryptography
    with Gilles Barthe, Joshua Gancher, Benjamin Grégoire, Charlie Jacomme and Elaine Shi.
    ACM CCS 2018. [paper, code]

  12. Making Public Key Functional Encryption Function Private, Distributively
    with Qiang Tang.
    PKC 2018. [paper]

  13. Compact Inner Product Encryption from LWE
    with Mingsheng Wang and Zhedong Wang.
    ICICS 2017. [paper]

  14. Hashing Garbled Circuits for Free
    with Chaya Ganesh and Vladimir Kolesnikov.
    Eurocrypt 2017. [paper]

  15. Deniable Attribute Based Encryption for Branching Programs from LWE
    With Daniel Apon and Feng-Hao Liu.
    TCC 2016. [paper]

Professional Activities

  • Program committee member: IEEE S&P'20 (shadow), AsiaCCS-SBC'20, Provsec'20, '21, ACM CCS'22, Inscrypt'22, FC'24, PKC'24